#include <stdarg.h>
extern int vsprintfdo1(char *buf, const char *fmt, va_list args);
extern int sprintfdo1(char *buf, const char *fmt, ...);
